Rule Execution in Graph-Based Incremental Interactive Integration Tools
نویسندگان
چکیده
Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are created which have to be kept consistent with each other. Graph transformations are well suited for modeling the operations provided for maintaining inter-document consistency. In this paper, we describe a novel approach to rule execution for graph-based integration tools operating interactively and incrementally. Rather than executing a rule in atomic way, we break rule execution up into multiple phases. In this way, the user of an integration tool may be informed about all potential rule applications and their mutual conflicts so that he may take a judicious decision how to proceed.
منابع مشابه
THE EASST NEWSLETTER A Summary of: Rule Execution in Graph-Based Incremental Interactive Integration Tools
Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are created which have to be kept consistent with each other. Graph transformations are well suited for modeling the operations provided for maintaining inter-document consistency. In this summary, we describe a novel approach to rule e...
متن کاملNonlinear Numerical Integration Scheme in Strain Space Plasticity
Strains are applied to the integration procedure in nonlinear increments todecrease the errors arising from the linearization of plastic equations. Two deformationvectors are used to achieve this. The first vector is based on the deformations obtained bythe first iteration of the equilibrium step, and the second is acquired from the sum of thesucceeding iterations. By applying these vectors and...
متن کاملIncremental Graph Pattern Matching: Data Structures and Initial Experiments
Despite the large variety of existing graph transformation tools, the implementation of their pattern matching engine typically follows the same principle. First a matching occurrence of the left-hand side of the graph transformation rule is searched by some graph pattern matching algorithm. Then potential negative application conditions are checked that might eliminate the previous occurrence....
متن کاملEuropean Association of Software Science and Technology
Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are created which have to be kept consistent with each other. Graph transformations are well suited for modeling the operations provided for maintaining inter-document consistency. In this summary, we describe a novel approach to rule e...
متن کاملIncremental Model Queries over EMF Models
Model-driven development tools built on industry standard platforms, such as the Eclipse Modeling Framework (EMF), heavily utilize model queries in various activities, including model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applications, they have a significant impact on th...
متن کامل